Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
311	1 On the Use of Q2 Abstractions to Lower the Computational Cost of Derivation of Conflict Resolution Advisories in Air Traffic Control Mei Li and and Mieczyslaw M. Kokar, Senior Member, IEEE Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-02-23 16:34:44 Applied mathematics Mealy machine Dynamical system State space Moore machine Finite-state machine Computational complexity theory Combinatory logic Function Models of computation Mathematics Theoretical computer science
312	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
313	Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 15:52:48 Mathematical logic Büchi automaton First-order logic Finite-state machine FO Function Nested word Muller automaton Automata theory Theoretical computer science Mathematics
314	Article draft, please do not cite or distribute. To appear as: Zubek, R[removed]Introduction to Hidden Markov Models. In Rabin, S. (ed.), AI Game Programming Wisdom 3. Charles River Media, Hingham, MA. Introduction to Hid Add to Reading List Source URL: robert.zubek.net Language: English - Date: 2007-04-21 19:40:42 Machine learning Markov chain Hidden Markov model Forward–backward algorithm Stochastic matrix Finite-state machine N-gram Maximum-entropy Markov model Layered hidden Markov model Markov models Statistics Probability
315	Deterministic Part-of-Speech Tagging with Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 08:57:24 Theoretical computer science Natural language processing Computational linguistics Brill tagger Part-of-speech tagging Finite state transducer Finite-state machine Trigram tagger Brown Corpus Linguistics Automata theory Models of computation
316	The Boost Statechart Library - Rationale Page 1 of 10 The Boost Statechart Library Add to Reading List Source URL: www.boost.org Language: English - Date: 2007-11-25 13:38:02 Computer programming UML diagrams Automata theory Digital electronics Programming paradigms UML state machine State diagram Finite-state machine Exception handling Computing Software engineering Models of computation
317	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics
318	The Theory of Trackability with Applications to Sensor Networks VALENTINO CRESPI California State University at Los Angeles GEORGE CYBENKO Dartmouth College Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 16:20:33 Matrix Wireless sensor network Büchi automaton Finite-state machine Computing Technology Mathematics Automata theory Models of computation Deterministic finite automaton
319	Designing Object Systems Object-Oriented Modelling with Syntropy Steve Cook & Add to Reading List Source URL: www.syntropy.co.uk Language: English - Date: 2010-04-14 02:58:52 Graph drawing Infographics State diagram Finite-state machine Conceptual model Ethology Software engineering Models of computation Diagrams Theoretical computer science
320	Error-tolerant Finite-state Recognition with Applications to Morphological Analysis and Spelling Correction Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:43:28 Theoretical computer science Grammar Finite state transducer Formal grammar Finite-state machine Morphology Computer science Linguistics Formal languages Automata theory Models of computation

UPDATE